Orateur : Meriem Belguidoum

https://info.enstb.org/Members/Belguidoum

Titre :
Analyse des dépendances pour le déploiement sûr des composants logiciels

Résumé :

Le déploiement de logiciels est une tâche complexe car elle implique
la réalisation de nombreuses actions ayant de fortes contraintes de
dépendance. Elle recouvre toutes les activités qui composent le cycle
de vie du logiciel depuis son fournisseur (le développeur) jusqu'à son
consommateur (l'utilisateur).

En parallèle, les logiciels deviennent de plus en plus complexes, ce
qui provoque une explosion de leur taille. Pour rendre possible leur
gestion, les logiciels consistent en des très larges collections de
composants qui sont partagés entre plusieurs applications. Ainsi, une
opération de déploiement concernant un composant aura un effet sur
toutes les applications qui l'utilisent. Pour maîtriser ces opérations
de déploiement, il faut donc connaître l'architecture (les composants,
leurs exigences et leurs relations) de tous les logiciels du site de
déploiement.

Actuellement, les approches de gestion du déploiement ne sont pas à la
mesure de la complexité de la tâche de déploiement. Elles sont souvent
ad-hoc et se basent sur l'intervention d'experts pour résoudre les
problèmes et mener à bien le déploiement. Nous défendons le passage
d'une approche pragmatique proposant des solutions ad-hoc spécifiques
à certains cas, à une véritable approche structurée, adaptable et sûre
afin de maîtriser et de vérifier le déploiement.

Pour cela, nous proposons un méta-modèle générique caractérisant les
principaux concepts de déploiement ainsi qu'un système pour vérifier
et garantir le bon déroulement du déploiement. Ce système formel
repose sur une description sous forme de prédicat (pour exprimer les
exigences des composants) et sur un ensemble de règles de déduction
assurant la réussite et la sûreté des opérations de déploiement.